##in:U D(U,I)<eps^2,C?,G(l)-eps^2 net for S-eps
##out : [W1,W2]gp | D([W1,W2]gp,U) < C*eps^3, C?
